Axion effective action

A bstract In this paper, we discuss the construction of Effective Field Theories (EFTs) in which a chiral fermion, charged under both gauge and global symmetries, is integrated out. Inspired by typical axion models, these symmetries can be spontaneously broken, ones might also anomalous. context, particular emphasis laid on derivative couplings Goldstone bosons to fermions, as lead severe divergences ambiguities when building EFT. We show how precisely solve difficulties within path integral formalism, adapting anomalous Ward identities EFT context. Our results are very generic, applied they reproduce non-intuitive between massive SM fields axion. Altogether, provides an efficient paving way for systematic consistent methodology build entire EFTs involving required or ALP searches.